Using Task Knowledge to Guide Interactor Specifications Analysis
نویسنده
چکیده
This paper looks at how to extend the type of analysis that can be done using interactor based models of interactive systems, the i2smv tool, and SMV. Originally, the type of analysis performed with i2smv/SMV was concerned with the exhaustive exploration of all possible behaviours of a device, with little direct consideration of the tasks it should support. The paper investigates how task related knowledge can be introduced into the approach in order to extend the range of properties that can be analysed.
منابع مشابه
Task Scheduling Using Particle Swarm Optimization Algorithm with a Selection Guide and a Measure of Uniformity for Computational Grids
In this paper, we proposed an algorithm for solving the problem of task scheduling using particle swarm optimization algorithm, with changes in the Selection and removing the guide and also using the technique to get away from the bad, to move away from local extreme and diversity. Scheduling algorithms play an important role in grid computing, parallel tasks Scheduling and sending them to ...
متن کاملTask Scheduling Using Particle Swarm Optimization Algorithm with a Selection Guide and a Measure of Uniformity for Computational Grids
In this paper, we proposed an algorithm for solving the problem of task scheduling using particle swarm optimization algorithm, with changes in the Selection and removing the guide and also using the technique to get away from the bad, to move away from local extreme and diversity. Scheduling algorithms play an important role in grid computing, parallel tasks Scheduling and sending them to ...
متن کاملPilot specifications definition guidelines for the implementation of a KEE solution in the aeronautical domain
Designing and implementing a Knowledge Management System (KMS) in a Virtual Enterprise is a labour intensive and risky task. Solution prototypes (Pilots) are usually built to verify system effectiveness prior to final implementation. The paper proposes a methodology to guide this Pilot specifications definition process. These guidelines support engineers and knowledge experts in collaboratively...
متن کاملA compositional model for the formal specification of user interface software
This thesis investigates abstractions for modelling user interface software, discussing their content and their formal representation. Specifically, it focuses on a class of models, called formal interactor models, that incorporate some of the structure of the user interface software. One such abstract model is put forward. This model is called the Abstraction-Display-Controller (ADC) interacto...
متن کاملChanges in the New AASHTO Guide Specifications for Seismic Isolation Design (1997-1999)
In 1993, a project began at the University at Buffalo under the title “Longevity and Reliability of Sliding Seismic Isolation Systems” with the support of MCEER. The objectives of the project were then defined as the collection of laboratory and field data on the behavior of sliding bearings and the qualitative prediction of the long-term frictional properties of these bearings. In 1995, the au...
متن کامل